Pixley, Carl: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A note on the dimensions of projections of cells inEn

Journal:

Israel Journal of Mathematics

Year:

1979

Language:

english

File:

PDF, 248 KB

english, 1979

2

Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation

Alfred Koelbl, Carl Pixley

Journal:

International Journal of Parallel Programming

Year:

2005

Language:

english

File:

PDF, 293 KB

english, 2005

3

[ACM Press the 2002 IEEE/ACM international conference - San Jose, California (2002.11.10-2002.11.14)] Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design - ICCAD '02 - Simplifying Boolean constraint solving for random simulation-vector generation

Yuan, Jun, Albin, Ken, Aziz, Adnan, Pixley, Carl

Year:

2002

Language:

english

File:

PDF, 103 KB

english, 2002

4

[ACM Press the 32nd ACM/IEEE conference - San Francisco, California, United States (1995.06.12-1995.06.16)] Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 - The validity of retiming sequential circuits

Singhal, Vigyan, Pixley, Carl, Rudell, Richard L., Brayton, Robert K.

Year:

1995

Language:

english

File:

PDF, 152 KB

english, 1995

5

An Efficient Logic Equivalence Checker for Industrial Circuits

Jaehong Park, Carl Pixley, Michael Burns, Hyunwoo Cho

Journal:

Journal of Electronic Testing

Year:

2000

Language:

english

File:

PDF, 109 KB

english, 2000

6

[ACM Press the 1998 IEEE/ACM international conference - San Jose, California, United States (1998.11.08-1998.11.12)] Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design - ICCAD '98 - Approximate reachability don't cares for CTL model checking

Moon, In-Ho, Jang, Jae-Young, Hachtel, Gary D., Somenzi, Fabio, Yuan, Jun, Pixley, Carl

Year:

1998

Language:

english

File:

PDF, 917 KB

english, 1998

7

Sequential optimization in the absence of global reset

Singhal, Vigyan, Pixley, Carl, Aziz, Adnan, Qadeer, Shaz, Brayton, Robert

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2003

Language:

english

File:

PDF, 293 KB

english, 2003

8

[ACM Press the 30th international - Dallas, Texas, United States (1993.06.14-1993.06.18)] Proceedings of the 30th international on Design automation conference - DAC '93 - Minimum length synchronizing sequences of finite state machine

Rho, June-Kyung, Somenzi, Fabio, Pixley, Carl

Year:

1993

Language:

english

File:

PDF, 525 KB

english, 1993

9

Transplantation of septal neurons maintained in long-term culture

Robert B. Gibbs, Sarah K.R. Pixley, Carl W. Cotman

Journal:

Year:

1986

Language:

english

File:

PDF, 1.95 MB

english, 1986

10

Specific Fertility Rates for Detroit

Carl H. Fischer and Henry H. Pixley

Journal:

Journal of the American Statistical Association

Year:

1940

Language:

english

File:

PDF, 735 KB

english, 1940

11

[ACM Press the 34th annual conference - Anaheim, California, United States (1997.06.09-1997.06.13)] Proceedings of the 34th annual conference on Design automation conference - DAC '97 - Formal verification of FIRE

Jang, Jae-Young, Qadeer, Shaz, Kaufmann, Matt, Pixley, Carl

Year:

1997

Language:

english

File:

PDF, 91 KB

english, 1997

12

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - Formal verification - prove it or pitch it

Gupta, Rajesh, Rawat, Shishpal, Shukla, Sandeep, Bailey, Brian, Beece, Dan, Fujita, Masahiro, Pixley, Carl, O'Leary, John, Somenzi, Fabio

Year:

2003

Language:

english

File:

PDF, 155 KB

english, 2003

13

An Example Concerning Continuous Selections on Infinite-Dimensional Spaces

Journal:

Proceedings of the American Mathematical Society

Year:

1974

Language:

english

File:

PDF, 244 KB

english, 1974

14

[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Practical Issues in Sequential Equivalence Checking through Alignability: Handling Don't Cares and Generating Debug Traces

Moon, In-ho, Bjesse, Per, Pixley, Carl

Year:

2006

Language:

english

File:

PDF, 6.68 MB

english, 2006

15

Specific Fertility Rates for Detroit

Fischer, Carl H., Pixley, Henry H.

Journal:

Journal of the American Statistical Association

Year:

1940

Language:

english

File:

PDF, 481 KB

english, 1940

16

Automatic Vector Generation Using Constraints and Biasing

Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz

Journal:

Journal of Electronic Testing

Year:

2000

Language:

english

File:

PDF, 85 KB

english, 2000

17

[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Panel: Assertion-Based Verification -What's the Big Deal?

Shukla, Sandeep, Hu, Alan, Abrahams, Jacob, Ashar, Pranav, Foster, Harry, Landver, Avner, Pixley, Carl

Year:

2006

Language:

english

File:

PDF, 857 KB

english, 2006

18

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - Constraint synthesis for environment modeling in functional verification

Yuan, Jun, Albin, Ken, Aziz, Adnan, Pixley, Carl

Year:

2003

Language:

english

File:

PDF, 191 KB

english, 2003

19

An incremental garbage collection algorithm for multi-mutator systems

Journal:

Distributed Computing

Year:

1988

Language:

english

File:

PDF, 885 KB

english, 1988

20

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - A Compositional Approach to the Combination of Combinational and Sequential Equivalence Checking of Circuits Without Known Reset States

Moon, In-Ho, Bjesse, Per, Pixley, Carl

Year:

2007

Language:

english

File:

PDF, 115 KB

english, 2007

21

Synchronizing sequences and symbolic traversal techniques in test generation

Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi, Carl Pixley

Journal:

Journal of Electronic Testing

Year:

1993

Language:

english

File:

PDF, 1.20 MB

english, 1993

22

Model checking: a hardware design perspective

Carl Pixley, Vigyan Singhal

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

1999

Language:

english

File:

PDF, 295 KB

english, 1999

23

[ACM Press the 44th annual conference - San Diego, California (2007.06.04-2007.06.08)] Proceedings of the 44th annual conference on Design automation - DAC '07 - Memory modeling in ESL-RTL equivalence checking

Koelbl, Alfred, Burch, Jerry R., Pixley, Carl

Year:

2007

Language:

english

File:

PDF, 128 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски